A Flexible, Extensible Simulation Environment for Testing Real-time Speciications
نویسندگان
چکیده
This paper describes MTSim, an extensible, cus-tomizable simulation platform for the Modechart toolset (MT) 5]. MTSim provides support for \plug-ging in" user-deened viewers useful in simulating system behavior in diierent ways, including application-speciic ways. MTSim also supports full user participation in the generation of simulations by allowing users to inject events into the execution trace. Moreover, MTSim provides monitoring and assertion checking of execution traces and the invocation of user-speciied handlers upon assertion violation. This paper also introduces a MTSim component called WebSim, a suite of simulation tools for MT, and an an application-speciic component of MTSim, which displays the cockpit of an F-18 aircraft and models its bomb release function.
منابع مشابه
Real-time Scheduling of a Flexible Manufacturing System using a Two-phase Machine Learning Algorithm
The static and analytic scheduling approach is very difficult to follow and is not always applicable in real-time. Most of the scheduling algorithms are designed to be established in offline environment. However, we are challenged with three characteristics in real cases: First, problem data of jobs are not known in advance. Second, most of the shop’s parameters tend to be stochastic. Third, th...
متن کاملA Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for aplugging ino user-defined viewers useful in simulating system behavior in different ways, including applicationspecific ways. MTSim also supports full user participation in the generation of simulations by allowing users to inject events into the execution tra...
متن کاملAn Approach to the Simulation of Robotic Systems Using Xml Based Configuration Files
This paper presents a environment using the eXtensible Markup Language ,XML, to describe a robotic systems in a format suitable for simulation, and to support the integration of several programming environments to create a flexible physical simulation system. Data exchange via open-standard based plain text files allows the system components to be loosely-coupled, rather than combined them into...
متن کاملSimulation-based Test of Synchronous and Asynchronous Fault-tolerant Group Membership Services
We address the problem of gaining assurance on the correctness of fault-tolerant and real-time distributed protocols. We validate implementations of two group membership protocols by running a centralized simulation of the distributed system, and testing whether they satisfy the safety and timeliness properties prescribed by their speciications. Our testing environment performs deterministic ex...
متن کاملDATeS: A Highly-Extensible Data Assimilation Testing Suite
A flexible and highly-extensible data assimilation testing suite, named DATeS, is described in this paper. DATeS aims to offer a unified testing environment that allows researchers to compare different data assimilation methodologies and understand their performance in various settings. The core of DATeS is implemented in Python and takes advantage of its object-oriented capabilities. The main ...
متن کامل